- 可计算函数逻辑
- logic: n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
- computable: adj. 能计算的，能算出的。
- function: n. 1.功能，官能，机能，作用。 2.〔常 pl.〕职 ...
- logic for computable function: 可计算函数逻辑
- fuzzy logic functions: 模糊逻辑函数
下载手机词典可随时随地查词查翻译
logic of computable functions中文什么意思
发音:
- 可计算函数逻辑
下载手机词典可随时随地查词查翻译
百科释义
Logic of Computable Functions (LCF) is a deductive system for computable functions proposed by Dana Scott in 1969 in a memorandum unpublished until 1993.Dana S.
详细百科解释